hacl-star 0.0.11

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Documentation

Rust bindings to HACL*-C

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).